Checking anaesthetic machines

Development of anaesthetic machines.

It is abundantly clear that, during the past few years, there has been a remarkable resurgence of interest in all aspects of the history of anaesthesia, and not least in that of anaesthetic apparatus. Not only academic departments of anaesthesia, but also smaller general hospitals are now admitting to some form of collection of historical anaesthetic apparatus which has been garnered by devotee...

Checking anaesthetic equipment: AAGBI 2012 guidelines.

The modern anaesthetic machine is a complex device. It has evolved from a ‘trolley’ that did little more than deliver gas to the patient, into a ‘workstation’ with multiple delivery modalities, multiple safety features and multiple integrated monitoring devices. In addition, we have at our disposal many more pieces of complex equipment, separate from the anaesthesia workstation itself, to help ...

The hidden dangers of anaesthetic machines.

Model checking abstract state machines

State Machines (ASM) ist eine formale Spezifikationssprache, die es erlaubt, auf einem hohen Abstraktionsniveau zu modellieren. Sie ist gut geeignet für verschiedenartigste Anwendungen. Computerbasierte Werkzeugunterstützung ist in Form von Editoren, Typecheckern und Simulatoren vorhanden. ASM ist außerdem in die Logiken zweier Theorembeweiser eingebettet worden, die interaktives Beweisen unter...

Model-checking problems, machines and parameterized complexity

iii iv CONTENTS Bibliography 105 Index 109 Chapter 1 Introduction Model-checking problems, in essence, are logic problems asking if a given structure satisfies a given sentence. They are ubiquitous in computer science, although appearing often in seemingly different forms. Two prominent examples are database query and hardware verification, in which databases and hardware are modelled as struct...